11

Weak Muller acceptance conditions for tree automata

Year:
2005
Language:
english
File:
PDF, 277 KB
english, 2005
24

Optimal paths in weighted timed automata

Year:
2004
Language:
english
File:
PDF, 368 KB
english, 2004
29

Deterministic generators and games for Ltl fragments

Year:
2004
Language:
english
File:
PDF, 203 KB
english, 2004
30

Automata-based Representations for Infinite Graphs

Year:
2001
Language:
english
File:
PDF, 247 KB
english, 2001
31

Games, Automata, Logic, and Formal Verification (GandALF 2011)

Year:
2013
Language:
english
File:
PDF, 117 KB
english, 2013
33

Polyhedral Flows in Hybrid Automata

Year:
2004
Language:
english
File:
PDF, 224 KB
english, 2004
35

Finite automata on timed ω-trees

Year:
2003
Language:
english
File:
PDF, 264 KB
english, 2003
41

Decision problems for lower/upper bound parametric timed automata

Year:
2009
Language:
english
File:
PDF, 775 KB
english, 2009
46

Timed tree automata with an application to temporal logic

Year:
2001
Language:
english
File:
PDF, 210 KB
english, 2001
47

Automata-theoretic decision of timed games

Year:
2014
Language:
english
File:
PDF, 473 KB
english, 2014